\section{Acknowledgements}

We thank Robert Strandh for the original design of this method and
contributions to this paper, Christian Schafmeister for a timing
example and Lisp implementation to test in, and Stas Boukarev for
information about SBCL's constraint propagation.
